Optimal. Leaf size=301 \[ \frac{442 b^{27/4} \sqrt [6]{x} \left (\sqrt{a} \sqrt [3]{x}+\sqrt{b}\right ) \sqrt{\frac{a x^{2/3}+b}{\left (\sqrt{a} \sqrt [3]{x}+\sqrt{b}\right )^2}} \text{EllipticF}\left (2 \tan ^{-1}\left (\frac{\sqrt [4]{a} \sqrt [6]{x}}{\sqrt [4]{b}}\right ),\frac{1}{2}\right )}{14421 a^{25/4} \sqrt{a x+b \sqrt [3]{x}}}+\frac{884 b^5 x^{2/3} \sqrt{a x+b \sqrt [3]{x}}}{24035 a^5}-\frac{6188 b^4 x^{4/3} \sqrt{a x+b \sqrt [3]{x}}}{216315 a^4}+\frac{476 b^3 x^2 \sqrt{a x+b \sqrt [3]{x}}}{19665 a^3}-\frac{28 b^2 x^{8/3} \sqrt{a x+b \sqrt [3]{x}}}{1311 a^2}-\frac{884 b^6 \sqrt{a x+b \sqrt [3]{x}}}{14421 a^6}+\frac{4 b x^{10/3} \sqrt{a x+b \sqrt [3]{x}}}{207 a}+\frac{2}{9} x^4 \sqrt{a x+b \sqrt [3]{x}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.509048, antiderivative size = 301, normalized size of antiderivative = 1., number of steps used = 11, number of rules used = 6, integrand size = 19, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.316, Rules used = {2018, 2021, 2024, 2011, 329, 220} \[ \frac{884 b^5 x^{2/3} \sqrt{a x+b \sqrt [3]{x}}}{24035 a^5}-\frac{6188 b^4 x^{4/3} \sqrt{a x+b \sqrt [3]{x}}}{216315 a^4}+\frac{476 b^3 x^2 \sqrt{a x+b \sqrt [3]{x}}}{19665 a^3}-\frac{28 b^2 x^{8/3} \sqrt{a x+b \sqrt [3]{x}}}{1311 a^2}+\frac{442 b^{27/4} \sqrt [6]{x} \left (\sqrt{a} \sqrt [3]{x}+\sqrt{b}\right ) \sqrt{\frac{a x^{2/3}+b}{\left (\sqrt{a} \sqrt [3]{x}+\sqrt{b}\right )^2}} F\left (2 \tan ^{-1}\left (\frac{\sqrt [4]{a} \sqrt [6]{x}}{\sqrt [4]{b}}\right )|\frac{1}{2}\right )}{14421 a^{25/4} \sqrt{a x+b \sqrt [3]{x}}}-\frac{884 b^6 \sqrt{a x+b \sqrt [3]{x}}}{14421 a^6}+\frac{4 b x^{10/3} \sqrt{a x+b \sqrt [3]{x}}}{207 a}+\frac{2}{9} x^4 \sqrt{a x+b \sqrt [3]{x}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2018
Rule 2021
Rule 2024
Rule 2011
Rule 329
Rule 220
Rubi steps
\begin{align*} \int x^3 \sqrt{b \sqrt [3]{x}+a x} \, dx &=3 \operatorname{Subst}\left (\int x^{11} \sqrt{b x+a x^3} \, dx,x,\sqrt [3]{x}\right )\\ &=\frac{2}{9} x^4 \sqrt{b \sqrt [3]{x}+a x}+\frac{1}{9} (2 b) \operatorname{Subst}\left (\int \frac{x^{12}}{\sqrt{b x+a x^3}} \, dx,x,\sqrt [3]{x}\right )\\ &=\frac{4 b x^{10/3} \sqrt{b \sqrt [3]{x}+a x}}{207 a}+\frac{2}{9} x^4 \sqrt{b \sqrt [3]{x}+a x}-\frac{\left (14 b^2\right ) \operatorname{Subst}\left (\int \frac{x^{10}}{\sqrt{b x+a x^3}} \, dx,x,\sqrt [3]{x}\right )}{69 a}\\ &=-\frac{28 b^2 x^{8/3} \sqrt{b \sqrt [3]{x}+a x}}{1311 a^2}+\frac{4 b x^{10/3} \sqrt{b \sqrt [3]{x}+a x}}{207 a}+\frac{2}{9} x^4 \sqrt{b \sqrt [3]{x}+a x}+\frac{\left (238 b^3\right ) \operatorname{Subst}\left (\int \frac{x^8}{\sqrt{b x+a x^3}} \, dx,x,\sqrt [3]{x}\right )}{1311 a^2}\\ &=\frac{476 b^3 x^2 \sqrt{b \sqrt [3]{x}+a x}}{19665 a^3}-\frac{28 b^2 x^{8/3} \sqrt{b \sqrt [3]{x}+a x}}{1311 a^2}+\frac{4 b x^{10/3} \sqrt{b \sqrt [3]{x}+a x}}{207 a}+\frac{2}{9} x^4 \sqrt{b \sqrt [3]{x}+a x}-\frac{\left (3094 b^4\right ) \operatorname{Subst}\left (\int \frac{x^6}{\sqrt{b x+a x^3}} \, dx,x,\sqrt [3]{x}\right )}{19665 a^3}\\ &=-\frac{6188 b^4 x^{4/3} \sqrt{b \sqrt [3]{x}+a x}}{216315 a^4}+\frac{476 b^3 x^2 \sqrt{b \sqrt [3]{x}+a x}}{19665 a^3}-\frac{28 b^2 x^{8/3} \sqrt{b \sqrt [3]{x}+a x}}{1311 a^2}+\frac{4 b x^{10/3} \sqrt{b \sqrt [3]{x}+a x}}{207 a}+\frac{2}{9} x^4 \sqrt{b \sqrt [3]{x}+a x}+\frac{\left (3094 b^5\right ) \operatorname{Subst}\left (\int \frac{x^4}{\sqrt{b x+a x^3}} \, dx,x,\sqrt [3]{x}\right )}{24035 a^4}\\ &=\frac{884 b^5 x^{2/3} \sqrt{b \sqrt [3]{x}+a x}}{24035 a^5}-\frac{6188 b^4 x^{4/3} \sqrt{b \sqrt [3]{x}+a x}}{216315 a^4}+\frac{476 b^3 x^2 \sqrt{b \sqrt [3]{x}+a x}}{19665 a^3}-\frac{28 b^2 x^{8/3} \sqrt{b \sqrt [3]{x}+a x}}{1311 a^2}+\frac{4 b x^{10/3} \sqrt{b \sqrt [3]{x}+a x}}{207 a}+\frac{2}{9} x^4 \sqrt{b \sqrt [3]{x}+a x}-\frac{\left (442 b^6\right ) \operatorname{Subst}\left (\int \frac{x^2}{\sqrt{b x+a x^3}} \, dx,x,\sqrt [3]{x}\right )}{4807 a^5}\\ &=-\frac{884 b^6 \sqrt{b \sqrt [3]{x}+a x}}{14421 a^6}+\frac{884 b^5 x^{2/3} \sqrt{b \sqrt [3]{x}+a x}}{24035 a^5}-\frac{6188 b^4 x^{4/3} \sqrt{b \sqrt [3]{x}+a x}}{216315 a^4}+\frac{476 b^3 x^2 \sqrt{b \sqrt [3]{x}+a x}}{19665 a^3}-\frac{28 b^2 x^{8/3} \sqrt{b \sqrt [3]{x}+a x}}{1311 a^2}+\frac{4 b x^{10/3} \sqrt{b \sqrt [3]{x}+a x}}{207 a}+\frac{2}{9} x^4 \sqrt{b \sqrt [3]{x}+a x}+\frac{\left (442 b^7\right ) \operatorname{Subst}\left (\int \frac{1}{\sqrt{b x+a x^3}} \, dx,x,\sqrt [3]{x}\right )}{14421 a^6}\\ &=-\frac{884 b^6 \sqrt{b \sqrt [3]{x}+a x}}{14421 a^6}+\frac{884 b^5 x^{2/3} \sqrt{b \sqrt [3]{x}+a x}}{24035 a^5}-\frac{6188 b^4 x^{4/3} \sqrt{b \sqrt [3]{x}+a x}}{216315 a^4}+\frac{476 b^3 x^2 \sqrt{b \sqrt [3]{x}+a x}}{19665 a^3}-\frac{28 b^2 x^{8/3} \sqrt{b \sqrt [3]{x}+a x}}{1311 a^2}+\frac{4 b x^{10/3} \sqrt{b \sqrt [3]{x}+a x}}{207 a}+\frac{2}{9} x^4 \sqrt{b \sqrt [3]{x}+a x}+\frac{\left (442 b^7 \sqrt{b+a x^{2/3}} \sqrt [6]{x}\right ) \operatorname{Subst}\left (\int \frac{1}{\sqrt{x} \sqrt{b+a x^2}} \, dx,x,\sqrt [3]{x}\right )}{14421 a^6 \sqrt{b \sqrt [3]{x}+a x}}\\ &=-\frac{884 b^6 \sqrt{b \sqrt [3]{x}+a x}}{14421 a^6}+\frac{884 b^5 x^{2/3} \sqrt{b \sqrt [3]{x}+a x}}{24035 a^5}-\frac{6188 b^4 x^{4/3} \sqrt{b \sqrt [3]{x}+a x}}{216315 a^4}+\frac{476 b^3 x^2 \sqrt{b \sqrt [3]{x}+a x}}{19665 a^3}-\frac{28 b^2 x^{8/3} \sqrt{b \sqrt [3]{x}+a x}}{1311 a^2}+\frac{4 b x^{10/3} \sqrt{b \sqrt [3]{x}+a x}}{207 a}+\frac{2}{9} x^4 \sqrt{b \sqrt [3]{x}+a x}+\frac{\left (884 b^7 \sqrt{b+a x^{2/3}} \sqrt [6]{x}\right ) \operatorname{Subst}\left (\int \frac{1}{\sqrt{b+a x^4}} \, dx,x,\sqrt [6]{x}\right )}{14421 a^6 \sqrt{b \sqrt [3]{x}+a x}}\\ &=-\frac{884 b^6 \sqrt{b \sqrt [3]{x}+a x}}{14421 a^6}+\frac{884 b^5 x^{2/3} \sqrt{b \sqrt [3]{x}+a x}}{24035 a^5}-\frac{6188 b^4 x^{4/3} \sqrt{b \sqrt [3]{x}+a x}}{216315 a^4}+\frac{476 b^3 x^2 \sqrt{b \sqrt [3]{x}+a x}}{19665 a^3}-\frac{28 b^2 x^{8/3} \sqrt{b \sqrt [3]{x}+a x}}{1311 a^2}+\frac{4 b x^{10/3} \sqrt{b \sqrt [3]{x}+a x}}{207 a}+\frac{2}{9} x^4 \sqrt{b \sqrt [3]{x}+a x}+\frac{442 b^{27/4} \left (\sqrt{b}+\sqrt{a} \sqrt [3]{x}\right ) \sqrt{\frac{b+a x^{2/3}}{\left (\sqrt{b}+\sqrt{a} \sqrt [3]{x}\right )^2}} \sqrt [6]{x} F\left (2 \tan ^{-1}\left (\frac{\sqrt [4]{a} \sqrt [6]{x}}{\sqrt [4]{b}}\right )|\frac{1}{2}\right )}{14421 a^{25/4} \sqrt{b \sqrt [3]{x}+a x}}\\ \end{align*}
Mathematica [C] time = 0.160714, size = 155, normalized size = 0.51 \[ \frac{2 \sqrt{a x+b \sqrt [3]{x}} \left (\sqrt{\frac{a x^{2/3}}{b}+1} \left (-2310 a^4 b^2 x^{8/3}+2618 a^3 b^3 x^2-3094 a^2 b^4 x^{4/3}+2090 a^5 b x^{10/3}+24035 a^6 x^4+3978 a b^5 x^{2/3}-9945 b^6\right )+9945 b^6 \, _2F_1\left (-\frac{1}{2},\frac{1}{4};\frac{5}{4};-\frac{a x^{2/3}}{b}\right )\right )}{216315 a^6 \sqrt{\frac{a x^{2/3}}{b}+1}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.033, size = 264, normalized size = 0.9 \begin{align*}{\frac{2\,{x}^{4}}{9}\sqrt{b\sqrt [3]{x}+ax}}+{\frac{4\,b}{207\,a}{x}^{{\frac{10}{3}}}\sqrt{b\sqrt [3]{x}+ax}}-{\frac{28\,{b}^{2}}{1311\,{a}^{2}}{x}^{{\frac{8}{3}}}\sqrt{b\sqrt [3]{x}+ax}}+{\frac{476\,{b}^{3}{x}^{2}}{19665\,{a}^{3}}\sqrt{b\sqrt [3]{x}+ax}}-{\frac{6188\,{b}^{4}}{216315\,{a}^{4}}{x}^{{\frac{4}{3}}}\sqrt{b\sqrt [3]{x}+ax}}+{\frac{884\,{b}^{5}}{24035\,{a}^{5}}{x}^{{\frac{2}{3}}}\sqrt{b\sqrt [3]{x}+ax}}-{\frac{884\,{b}^{6}}{14421\,{a}^{6}}\sqrt{b\sqrt [3]{x}+ax}}+{\frac{442\,{b}^{7}}{14421\,{a}^{7}}\sqrt{-ab}\sqrt{{a \left ( \sqrt [3]{x}+{\frac{1}{a}\sqrt{-ab}} \right ){\frac{1}{\sqrt{-ab}}}}}\sqrt{-2\,{\frac{a}{\sqrt{-ab}} \left ( \sqrt [3]{x}-{\frac{\sqrt{-ab}}{a}} \right ) }}\sqrt{-{a\sqrt [3]{x}{\frac{1}{\sqrt{-ab}}}}}{\it EllipticF} \left ( \sqrt{{a \left ( \sqrt [3]{x}+{\frac{1}{a}\sqrt{-ab}} \right ){\frac{1}{\sqrt{-ab}}}}},{\frac{\sqrt{2}}{2}} \right ){\frac{1}{\sqrt{b\sqrt [3]{x}+ax}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \sqrt{a x + b x^{\frac{1}{3}}} x^{3}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\sqrt{a x + b x^{\frac{1}{3}}} x^{3}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int x^{3} \sqrt{a x + b \sqrt [3]{x}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \sqrt{a x + b x^{\frac{1}{3}}} x^{3}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]